[IA64] Flush cache after patch kernel
authorAlex Williamson <alex.williamson@hp.com>
Wed, 30 Jan 2008 17:50:24 +0000 (10:50 -0700)
committerAlex Williamson <alex.williamson@hp.com>
Wed, 30 Jan 2008 17:50:24 +0000 (10:50 -0700)
commit4de7aa66a13edc8da8c48e6441168d19562f8bdc
treebaae719ef5efd5bd8a7b3a2c11881fdccf3ffc20
parent26f9a3f7f57a91259580387681935731ebb4a6ec
[IA64] Flush cache after patch kernel

Need flushing cache here, if not, i/d cache may be not synchronous.

Signed-off-by: Duan Ronghui <ronghui.duan@intel.com>
xen/arch/ia64/xen/xenpatch.c